backward production system for theorem proving中文是什么意思

發(fā)音:

中文翻譯

定理證明用逆向產(chǎn)生式系統(tǒng)

backward production system 逆向產(chǎn)生式系統(tǒng)
theorem proving 定理證明
automated theorem proving 自定理明; 自動(dòng)定理證明
automatic theorem proving 自動(dòng)定理證明
mechanical theorem proving 機(jī)器證明
non-resolution theorem proving 非解析定理求解
proving fermat’s last theorem 證明費(fèi)馬最后定理
resolution theorem proving 歸結(jié)定理證明消解式定理證明
resolution theorem-proving 解析定理證明
theorem proving machine 定理證明機(jī)
theorem proving representation 定理證明表示
theorem proving technique 定理證明技術(shù)
system-proving missile 系統(tǒng)檢驗(yàn)用導(dǎo)彈
backward social production 落后的社會(huì)生產(chǎn)
theorem of minimum entropy production 最小熵產(chǎn)生定理
backward deduction system 后向演繹系統(tǒng); 向后演繹系統(tǒng)
production system 產(chǎn)生式系統(tǒng)語言; 生產(chǎn)系統(tǒng)
be proving 看來是……
proving 檢驗(yàn)的; 藥力試驗(yàn)
backward robort problem-solving system 反向機(jī)器人問題求解系統(tǒng)
backward rule-based deduction system 基于反向規(guī)則的演繹系統(tǒng)
adaptive production system 自適應(yīng)產(chǎn)生式系統(tǒng)
automatic production record system 自動(dòng)化生產(chǎn)記錄系統(tǒng); 自動(dòng)生產(chǎn)記錄系統(tǒng); 自動(dòng)優(yōu)生產(chǎn)記錄系統(tǒng)
automatic production recording system 自動(dòng)生產(chǎn)記錄系統(tǒng)
automatic production redord system 自動(dòng)化生產(chǎn)記錄系統(tǒng)

"查查詞典"手機(jī)版

千萬人都在用的超大詞匯詞典翻譯APP

推薦英語閱讀

backward production system for theorem proving的中文翻譯，backward production system for theorem proving是什么意思，怎么用漢語翻譯backward production system for theorem proving，backward production system for theorem proving的中文意思，backward production system for theorem proving的中文，backward production system for theorem proving in Chinese，backward production system for theorem proving的中文，backward production system for theorem proving怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。